$\vdash$  $\forall$$i$:$\mathbb{Z}$. \{$\ldots\,$$i$\} $\in$ Type